(declare-const i10 Int)
(declare-const i16 Int)
(declare-const Str0 String)
(declare-const Str4 String)
(declare-const Str9 String)
(declare-const Str10 String)
(declare-const Str14 String)
(declare-const Str17 String)
(declare-const i23 Int)
(assert (>= (str.len Str9) (mod i10 i16)))
(assert (str.contains Str17 (str.++ Str14 (str.++ Str10 "" Str4 Str0) (int.to.str i23))))
(check-sat)
